логическая операция, раскрывающая объем общего понятия путем группировки его элементов в подклассы с учетом какого-либо признака.
логическая операция, которая раскрывает объем понятия на основе какого-либо признака (основание деления).
деление понятия строго на два объема, пополам, по типу: «А и не-А».